Modelling Communicating Agents in Timed Reasoning Logics
نویسندگان
چکیده
Practical reasoners are resource-bounded—in particular they require time to derive consequences of their knowledge. Building on the Timed Reasoning Logics (TRL) framework introduced in [1], we show how to represent the time required by an agent to reach a given conclusion. TRL allows us to model the kinds of rule application and conflict resolution strategies commonly found in rule-based agents, and we show how the choice of strategy can influence the information an agent can take into account when making decisions at a particular point in time. We prove general completeness and decidability results for TRL, and analyse the impact of communication in an example system consisting of two agents which use different conflict resolution strategies.
منابع مشابه
Modelling Resource Bounded Reasoners: An Example
We present Timed Reasoning Logics (TRL) as a framework that allows one to model multiagent systems over time without assuming agents are logically omniscient. TRL can be seen as a combination of syntactic epistemic logics and temporal logics. This paper is primarily concerned with illustrating TRL concepts using a propositional natural deduction-style reasoner, which derives consequences of its...
متن کاملModelling History-Dependent Business Processes
Choices in business processes are often based on the process history saved as a log-file listing events and their time stamps. In this paper we introduce a finite-path variant of the timed propositional logics with past for specifying guards in business process models. The novelty is due to the introduction of boundary points start and now corresponding to the starting and current observation p...
متن کاملJudgment Aggregation in Non-classical Logics
This work contributes to the theory of judgment aggregation by discussing a number of significant non-classical logics. After adapting the standard framework of judgment aggregation to cope with non-classical logics, we discuss in particular results for the case of Intuitionistic Logic, the Lambek calculus, Linear Logic and Relevant Logics. The motivation for studying judgment aggregation in no...
متن کاملModelling Assumption-Based Reasoning Using Contexts
We propose a two-fold use of context in reasoning about agents. The first concerns the modelling of beliefs which are entertained only within the scope of some assumption. We illustrate this use by describing as logical model of an agent which reasons in a natural deduction style by making assumptions to derive new formulas. The second use of context we propose here concerns the modelling of re...
متن کاملLogics for resource-bounded agents
In this thesis, I criticise traditional epistemic logics based on possible worlds semantics, inspired by Hintikka, as a framework for representing the beliefs and knowledge of agents. The traditional approach suffers from the logical omniscience problem: agents are modelled as knowing all consequences of their knowledge, which is not an admissible assumption when modelling real-world reasoning ...
متن کامل